Embedding theorems for HNN extensions of inverse semigroups
نویسندگان
چکیده
منابع مشابه
Embedding theorems for HNN extensions of inverse semigroups
We discuss embedding theorems for HNN extensions and clarify the relationship between the concept by Gilbert and that of Yamamura. We employ the automata theoretical technique based on the combinatorial and geometrical properties of Schützenberger graphs.
متن کاملOn Some Embedding Theorems for Inverse Semigroups
A semilattice decomposition of an inverse semigroup has good internal mapping properties. These are used to give natural proofs of some embedding theorems, which were originally proved in a rather artificial way. The reader is referred to [1] for the basic theory of inverse semigroups. In an earlier paper [3] we proved the following embedding result: (1) An E-unitary inverse semigroup is isomor...
متن کاملFinite Presentability of HNN Extensions of Inverse Semigroups
HNN extensions of inverse semigroups, where the associated inverse subsemigroups are order ideals of the base, are defined by means of a construction based upon the isomorphism between the categories of inverse semigroups and inductive groupoids. The resulting HNN extension may conveniently be described by an inverse semigroup presentation, and we determine when an HNN extension with finitely g...
متن کاملContext-freeness of the Languages of Schützenberger Automata of Hnn-extensions of Finite Inverse Semigroups
We prove that the Schützenberger graph of any element of the HNN-extension of a finite inverse semigroup S with respect to its standard presentation is a context-free graph in the sense of [11], showing that the language L recognized by this automaton is context-free. Finally we explicitly construct the grammar generating L, and from this fact we show that the word problem for an HNN-extension ...
متن کاملBrandt extensions and primitive topologically periodic inverse topological semigroups
In this paper we find sufficient conditions on primitive inverse topological semigroup S under which: the inversion inv : (H(S)) (H(S)) is continuous; we show that every topologically periodic countable compact primitive inverse topological semigroups with closed H-classes is topologically isomorphic to an orthogonal sum P i2= Bi (Gi) of topological Brandt extensions Bi (Gi) of countably compac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2007
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2006.10.012